Fuzzy Concepts and Formal Methods: A Sample Specification for a Fuzzy Expert System
نویسنده
چکیده
A fuzzy logic toolkit has been developed for the formal specification language Z. It permits the incorporation of fuzzy concepts into the language while retaining the precision of any Z specification. The toolkit provides the necessary operators, measures and modifiers for the definition and manipulation of fuzzy sets and relations. This paper illustrates how the toolkit can be used to specify a simple fuzzy expert system. The focus is on the specification of the rule base and the operations necessary for fuzzy inferencing. In particular the example illustrates the use of the fuzzy cartesian product and fuzzy set truncation operators and offers a generic definition for a centroid defuzzification function.
منابع مشابه
Toward a Framework for Fuzzy Dynamic Systems
Fuzzy logic, according to Lotfi Zadeh, can be broadly considered as the union of fuzzified crisp logics. Its primary aim is to provide a formal, computationally oriented system of concepts and techniques for dealing with modes of reasoning that are approximate rather than exact. Charles Elkan’s claims are derived mainly from entangled interpretations of fuzzy logic stemming from his mathematica...
متن کاملNew concepts on the fuzzy linear systems and an application
As we know, developing mathematical models and numerical procedures that would appropriately treat and solve systems of linear equations where some of the system's parameters are proposed as fuzzy numbers is very important in fuzzy set theory. For this reason, many researchers have used various numerical methods to solve fuzzy linear systems. In this paper, we define the concepts of midpoint a...
متن کاملA Novel Fuzzy-Genetic Differential Evolutionary Algorithm for Optimization of A Fuzzy Expert Systems Applied to Heart Disease Prediction
This study presents a novel intelligent Fuzzy Genetic Differential Evolutionary model for the optimization of a fuzzy expert system applied to heart disease prediction in order to reduce the risk of heart disease. To this end, a fuzzy expert system has been proposed for the prediction of heart disease. The proposed model can be used as a tool to assist physicians. In order to: (1) tune the para...
متن کاملTimetabling Using Adaptive Fuzzy Petri Nets
A Petri net is an abstract formal model of the behavior of a system and information flow. The properties, concepts, and techniques of Petri net are so as to present it as a simple and strong method for describing and analyzing information flow and systems control. Fuzzy Petri Net (FPN) is an appropriate powerful model to emulate knowledge base systems using fuzzy rules. Yet, FPN model does not ...
متن کاملDiagnosis of Coronary Artery Disease via a Novel Fuzzy Expert System Optimized by Cuckoo Search
In this paper, we propose a novel fuzzy expert system for detection of Coronary Artery Disease, using cuckoo search algorithm. This system includes three phases: firstly, at the stage of fuzzy system design, a decision tree is used to extract if-then rules which provide the crisp rules required for Coronary Artery Disease detection. Secondly, the fuzzy system is formed by setting the intervals ...
متن کامل